1. A 25-Year Perspective on Logic Programmin
المؤلف: / edited by Agostino Dovier, Enrico Pontelli
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.
2. Algebraic Foundations of Systems Specification
المؤلف: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
3. Algebraic Methodology and Software Technology :
المؤلف: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
4. Algebraic and Algorithmic Aspects of Differential and Integral Operators :
المؤلف: edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
L63
E358
2014
5. Algebraic and Logic Programming :
المؤلف: edited by Michael Hanus, Mario Rodríguez-Artalejo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
6. Artificial Intelligence in Logic Design
المؤلف: by Svetlana N. Yanushkevich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
7. Automata, Languages and Programming :
المؤلف: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
8. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
المؤلف: Puppis, Gabriele
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
9. Automated Deduction - CADE-23 :
المؤلف: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
10. Axiomatising the Logic of Computer Programming
المؤلف: by Robert Goldblatt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
11. Baltic Computer Science :
المؤلف: by Janis Barzdins, Dines Bjorner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
12. Beyond Two: Theory and Applications of Multiple-Valued Logic
المؤلف: edited by Melvin Fitting, Ewa Orłowska.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computer science.,Logic design.
13. Biomimetic and Biohybrid Systems :
المؤلف: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
رده :
T173
.
8
.
L58
2019
14. Challenges for action theories
المؤلف: Thielscher, Michael
المکتبة: (طهران)
موضوع: ، Computer logic,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1775
15. Collegium Logicum.
المؤلف: Kurt-Gödel-Gesellschaft
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
16. Compiler Generators :
المؤلف: by Mads Tofte.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990
17. Computational Logic :
المؤلف: edited by John W. Lloyd.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
18. Computer Aided Verification :
المؤلف: edited by Rajeev Alur, Thomas A. Henzinger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
19. Computer Aided Verification :
المؤلف: edited by Gregor Bochmann, David Karl Probst.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
